A Process Model for Life Cycles
نویسندگان
چکیده
Life cycles (discussed elsewhere regarding the informal and pragmatic aspects) can be formally defined as a process model with some un-conventional features, namely: multiplicity of events, a restricted visibility of parameters, and ‘negative prefixes’ to block an event set from happening. We show how to translate these aspects in terms of conventional process constructs. Several times we manage to present the proofs of an implication and its converse that use different induction hypotheses as one series of equivalences. This presentation technique seems more generally applicable to and useful for process models.
منابع مشابه
Fatigue and Anisotropic behaviours of cold rolled AA1200 Aluminium Alloy
This study examines the fatigue and anisotropy behaviour of cold rolled AA1200 aluminium alloy for light weight automotive connecting rod application. Aluminium (Al) 1200 ingots were melted at temperature of 680 0C (after one hour of heating) cast in sand mould and cast samples homogenized for 6 hrs at 480 0C. The cold rolling process was carried out after homogenisation for 10, 20, 30, 40 and ...
متن کاملPredicting Low Cycle Fatigue Life through Simulation of Crack in Cover Plate Welded Beam to Column Connections
This paper presents a low cycle fatigue life curve by simulating a crack in a cover plate welded moment connection. Initiation of ductile fracture in steel is controlled by growth and coalescence of micro-voids. This research used a numerical method using finite element modeling and simulation of ductile crack initiation by a micromechanical model. Therefore, a finite element model of a cover p...
متن کاملDevelopment of Lifetime Prediction Model of Lithium-Ion Battery Based on Minimizing Prediction Errors of Cycling and Operational Time Degradation Using Genetic Algorithm
Accurate lifetime prediction of lithium-ion batteries is a great challenge for the researchers and engineers involved in battery applications in electric vehicles and satellites. In this study, a semi-empirical model is introduced to predict the capacity loss of lithium-ion batteries as a function of charge and discharge cycles, operational time, and temperature. The model parameters are obtai...
متن کاملتعیین برنامه های بهداشت، ایمنی و محیط زیست(HSE) متناسب با ویژگی های مراحل عمر سازمانی
Introduction: Nowadays,industries managers face to lots of information from internal and external sources in one hand,challenges andthreats in the other hand, that need proper decisions to fix the problems. One of the most important challenges in developing countries is selecting and coordinating Health, Safety and Environment program proportional to organizations needs. Because, organizations...
متن کاملPetrophysical and durability tests on sandstones for the evaluation of their quality as building stones using Analytical Hierarchy Process (AHP)
Due to their widespread availability, sandstones are commonly used as a natural stone for buildings, monuments and sculptures. In thecurrent study, nine sandstone samples from the Upper Red Formation (specified by the letters A, B, C, CG, S, S1, Sh, Tr and Min)were studied from a petrophysical point of view and their durability was evaluated. Then, their suitability as building stones wasassess...
متن کاملGeneration of Business Process Models for Object Life Cycle Compliance
Business process models usually capture data exchanged between tasks in terms of objects. These objects are commonly standardized using reference data models that prescribe, among other things, allowed object states. Allowed state transitions can be modeled as object life cycles that require compliance of business processes. In this paper, we first establish a notion of compliance of a business...
متن کامل